[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

290 293 198 2299 0 266 0 430 0

N.S.

1 1.01 0.68 7.93 0.00 0.92 0.00 1.48 0.00

time (sec)

N/A 1.739 1.788 4.631 0.000 0.339 0.000 1.545 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 273 121 340 0 191 0 247 0

N.S.

1 1.16 0.51 1.44 0.00 0.81 0.00 1.05 0.00

time (sec)

N/A 1.683 0.476 7.358 0.000 0.274 0.000 1.278 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 218 89 253 715643 173 0 183 0

N.S.

1 1.13 0.46 1.31 3707.99 0.90 0.00 0.95 0.00

time (sec)

N/A 1.245 0.246 6.078 21.288 0.282 0.000 0.700 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 166 87 247 927467 157 0 179 0

N.S.

1 1.09 0.57 1.62 6101.76 1.03 0.00 1.18 0.00

time (sec)

N/A 0.875 0.171 6.562 19.409 0.276 0.000 0.417 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 117 63 173 19528 142 0 126 139

N.S.

1 1.07 0.58 1.59 179.16 1.30 0.00 1.16 1.28

time (sec)

N/A 0.491 0.072 5.268 0.885 0.282 0.000 0.316 1.185

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 120 83 297 18949 221 0 181 0

N.S.

1 1.04 0.72 2.58 164.77 1.92 0.00 1.57 0.00

time (sec)

N/A 0.715 0.188 8.378 0.719 0.290 0.000 0.428 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 122 89 557 18526 247 0 0 0

N.S.

1 1.08 0.79 4.93 163.95 2.19 0.00 0.00 0.00

time (sec)

N/A 0.745 0.233 7.276 0.652 0.293 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 171 113 910 57774 276 0 244 0

N.S.

1 1.08 0.71 5.72 363.36 1.74 0.00 1.53 0.00

time (sec)

N/A 1.049 0.512 9.732 2.781 0.334 0.000 0.375 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

200 224 131 1358 0 295 0 0 0

N.S.

1 1.12 0.66 6.79 0.00 1.48 0.00 0.00 0.00

time (sec)

N/A 1.375 0.964 10.635 0.000 0.321 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

243 277 174 1776 657419 312 0 346 0

N.S.

1 1.14 0.72 7.31 2705.43 1.28 0.00 1.42 0.00

time (sec)

N/A 1.762 1.363 11.983 286.606 0.340 0.000 0.429 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

259 285 157 477 0 235 0 0 0

N.S.

1 1.10 0.61 1.84 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 1.755 0.707 7.276 0.000 0.288 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 226 136 413 0 218 0 0 0

N.S.

1 1.06 0.64 1.93 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 1.357 0.443 6.949 0.000 0.274 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 178 94 292 0 201 0 0 0

N.S.

1 1.05 0.56 1.73 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.925 0.450 7.160 0.000 0.281 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 117 77 254 0 181 0 186 0

N.S.

1 1.03 0.68 2.23 0.00 1.59 0.00 1.63 0.00

time (sec)

N/A 0.488 0.303 5.724 0.000 0.293 0.000 0.448 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 131 129 373 46533 279 0 219 0

N.S.

1 1.05 1.03 2.98 372.26 2.23 0.00 1.75 0.00

time (sec)

N/A 0.746 0.519 8.112 1.923 0.306 0.000 1.494 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 166 167 701 63653 313 0 0 0

N.S.

1 1.05 1.06 4.44 402.87 1.98 0.00 0.00 0.00

time (sec)

N/A 1.038 1.550 9.427 2.224 0.296 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 228 199 1100 0 356 0 306 0

N.S.

1 1.05 0.92 5.07 0.00 1.64 0.00 1.41 0.00

time (sec)

N/A 1.427 1.224 10.785 0.000 0.329 0.000 0.633 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 287 205 1612 0 374 0 380 0

N.S.

1 1.08 0.77 6.06 0.00 1.41 0.00 1.43 0.00

time (sec)

N/A 1.796 3.006 11.650 0.000 0.325 0.000 0.561 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

259 285 129 432 0 266 0 292 0

N.S.

1 1.10 0.50 1.67 0.00 1.03 0.00 1.13 0.00

time (sec)

N/A 1.743 0.945 7.274 0.000 0.303 0.000 10.559 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 228 112 362 0 249 0 247 0

N.S.

1 1.08 0.53 1.71 0.00 1.17 0.00 1.17 0.00

time (sec)

N/A 1.334 0.629 8.103 0.000 0.286 0.000 5.497 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 175 95 327 0 226 0 235 0

N.S.

1 1.06 0.58 1.98 0.00 1.37 0.00 1.42 0.00

time (sec)

N/A 0.922 0.525 7.329 0.000 0.296 0.000 2.693 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 130 89 292 0 225 0 194 0

N.S.

1 1.05 0.72 2.35 0.00 1.81 0.00 1.56 0.00

time (sec)

N/A 0.510 0.393 6.014 0.000 0.278 0.000 1.168 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 174 124 445 0 339 0 264 0

N.S.

1 1.07 0.77 2.75 0.00 2.09 0.00 1.63 0.00

time (sec)

N/A 1.008 1.150 8.615 0.000 0.300 0.000 5.552 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 215 185 768 0 379 0 311 0

N.S.

1 1.08 0.93 3.86 0.00 1.90 0.00 1.56 0.00

time (sec)

N/A 1.403 3.131 9.146 0.000 0.318 0.000 1.315 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

262 280 215 1165 769155 421 0 0 0

N.S.

1 1.07 0.82 4.45 2935.71 1.61 0.00 0.00 0.00

time (sec)

N/A 1.817 5.302 10.689 247.759 0.344 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

196 193 964 434 0 221 0 0 177

N.S.

1 0.98 4.92 2.21 0.00 1.13 0.00 0.00 0.90

time (sec)

N/A 0.903 6.621 23.339 0.000 0.117 0.000 0.000 2.049

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

165 165 918 406 0 203 0 0 166

N.S.

1 1.00 5.56 2.46 0.00 1.23 0.00 0.00 1.01

time (sec)

N/A 0.788 6.494 17.129 0.000 0.109 0.000 0.000 1.559

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

134 137 872 378 0 185 0 0 139

N.S.

1 1.02 6.51 2.82 0.00 1.38 0.00 0.00 1.04

time (sec)

N/A 0.735 6.523 15.756 0.000 0.103 0.000 0.000 0.464

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

101 107 342 345 0 163 0 0 112

N.S.

1 1.06 3.39 3.42 0.00 1.61 0.00 0.00 1.11

time (sec)

N/A 0.617 6.150 11.287 0.000 0.104 0.000 0.000 1.316

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 98 270 289 0 190 0 0 112

N.S.

1 1.03 2.84 3.04 0.00 2.00 0.00 0.00 1.18

time (sec)

N/A 0.601 5.109 10.085 0.000 0.118 0.000 0.000 1.612

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

95 98 317 410 0 198 0 0 123

N.S.

1 1.03 3.34 4.32 0.00 2.08 0.00 0.00 1.29

time (sec)

N/A 0.604 6.546 10.683 0.000 0.110 0.000 0.000 2.044

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

132 131 851 702 0 221 0 0 150

N.S.

1 0.99 6.45 5.32 0.00 1.67 0.00 0.00 1.14

time (sec)

N/A 0.736 7.003 14.580 0.000 0.113 0.000 0.000 2.310

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

165 161 895 811 0 243 0 0 177

N.S.

1 0.98 5.42 4.92 0.00 1.47 0.00 0.00 1.07

time (sec)

N/A 0.766 7.013 19.255 0.000 0.104 0.000 0.000 2.915

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

230 234 982 436 0 239 0 0 266

N.S.

1 1.02 4.27 1.90 0.00 1.04 0.00 0.00 1.16

time (sec)

N/A 1.317 6.665 23.686 0.000 0.112 0.000 0.000 1.916

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

197 206 936 408 0 219 0 0 242

N.S.

1 1.05 4.75 2.07 0.00 1.11 0.00 0.00 1.23

time (sec)

N/A 1.265 6.632 21.436 0.000 0.114 0.000 0.000 1.898

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 178 890 380 0 199 0 0 177

N.S.

1 1.09 5.43 2.32 0.00 1.21 0.00 0.00 1.08

time (sec)

N/A 1.128 7.692 16.836 0.000 0.103 0.000 0.000 1.770

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

160 171 658 268 0 209 0 0 188

N.S.

1 1.07 4.11 1.68 0.00 1.31 0.00 0.00 1.18

time (sec)

N/A 1.155 7.974 14.766 0.000 0.111 0.000 0.000 2.192

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

156 168 865 652 0 219 0 0 161

N.S.

1 1.08 5.54 4.18 0.00 1.40 0.00 0.00 1.03

time (sec)

N/A 1.133 7.855 15.018 0.000 0.113 0.000 0.000 2.429

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

156 166 656 756 0 223 0 0 202

N.S.

1 1.06 4.21 4.85 0.00 1.43 0.00 0.00 1.29

time (sec)

N/A 1.142 8.743 16.797 0.000 0.115 0.000 0.000 2.909

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

197 202 913 891 0 259 0 0 229

N.S.

1 1.03 4.63 4.52 0.00 1.31 0.00 0.00 1.16

time (sec)

N/A 1.275 9.384 21.236 0.000 0.107 0.000 0.000 3.124

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

230 230 955 1141 0 279 0 0 482

N.S.

1 1.00 4.15 4.96 0.00 1.21 0.00 0.00 2.10

time (sec)

N/A 1.342 10.271 27.791 0.000 0.116 0.000 0.000 3.744

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

279 285 1028 464 0 259 0 0 360

N.S.

1 1.02 3.68 1.66 0.00 0.93 0.00 0.00 1.29

time (sec)

N/A 1.728 7.156 27.016 0.000 0.131 0.000 0.000 2.158

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

246 257 982 436 0 239 0 0 332

N.S.

1 1.04 3.99 1.77 0.00 0.97 0.00 0.00 1.35

time (sec)

N/A 1.679 7.130 23.372 0.000 0.125 0.000 0.000 1.951

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

213 222 936 408 0 219 0 0 283

N.S.

1 1.04 4.39 1.92 0.00 1.03 0.00 0.00 1.33

time (sec)

N/A 1.496 8.343 19.282 0.000 0.117 0.000 0.000 1.878

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

217 230 926 360 0 245 0 0 269

N.S.

1 1.06 4.27 1.66 0.00 1.13 0.00 0.00 1.24

time (sec)

N/A 1.549 9.240 17.095 0.000 0.123 0.000 0.000 1.945

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

211 222 909 704 0 247 0 0 237

N.S.

1 1.05 4.31 3.34 0.00 1.17 0.00 0.00 1.12

time (sec)

N/A 1.508 9.138 16.400 0.000 0.129 0.000 0.000 2.552

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

213 218 905 939 0 253 0 0 279

N.S.

1 1.02 4.25 4.41 0.00 1.19 0.00 0.00 1.31

time (sec)

N/A 1.520 11.717 19.656 0.000 0.119 0.000 0.000 2.697

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

213 222 920 985 0 259 0 0 279

N.S.

1 1.04 4.32 4.62 0.00 1.22 0.00 0.00 1.31

time (sec)

N/A 1.526 11.571 24.511 0.000 0.119 0.000 0.000 3.715

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

246 246 955 1219 0 279 0 0 308

N.S.

1 1.00 3.88 4.96 0.00 1.13 0.00 0.00 1.25

time (sec)

N/A 1.689 12.729 29.358 0.000 0.110 0.000 0.000 4.100

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

279 281 997 1381 0 299 0 0 621

N.S.

1 1.01 3.57 4.95 0.00 1.07 0.00 0.00 2.23

time (sec)

N/A 1.761 12.865 33.619 0.000 0.116 0.000 0.000 4.210

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

192 176 983 295 0 280 0 0 0

N.S.

1 0.92 5.12 1.54 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.795 8.602 10.627 0.000 0.128 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

159 148 934 276 0 263 0 0 0

N.S.

1 0.93 5.87 1.74 0.00 1.65 0.00 0.00 0.00

time (sec)

N/A 0.678 8.260 6.745 0.000 0.116 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

122 119 890 262 0 250 0 0 0

N.S.

1 0.98 7.30 2.15 0.00 2.05 0.00 0.00 0.00

time (sec)

N/A 0.618 7.873 6.214 0.000 0.110 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

83 89 859 247 0 239 0 0 0

N.S.

1 1.07 10.35 2.98 0.00 2.88 0.00 0.00 0.00

time (sec)

N/A 0.525 7.668 5.490 0.000 0.101 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

113 112 892 316 0 288 0 0 0

N.S.

1 0.99 7.89 2.80 0.00 2.55 0.00 0.00 0.00

time (sec)

N/A 0.642 7.850 6.035 0.000 0.107 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

150 142 927 459 0 314 0 0 0

N.S.

1 0.95 6.18 3.06 0.00 2.09 0.00 0.00 0.00

time (sec)

N/A 0.655 8.074 7.850 0.000 0.106 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

192 172 971 776 0 333 0 0 0

N.S.

1 0.90 5.06 4.04 0.00 1.73 0.00 0.00 0.00

time (sec)

N/A 0.798 8.336 10.434 0.000 0.117 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

196 194 1012 451 0 378 0 0 0

N.S.

1 0.99 5.16 2.30 0.00 1.93 0.00 0.00 0.00

time (sec)

N/A 0.973 8.864 10.778 0.000 0.114 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

161 165 968 437 0 366 0 0 0

N.S.

1 1.02 6.01 2.71 0.00 2.27 0.00 0.00 0.00

time (sec)

N/A 0.949 8.285 6.951 0.000 0.115 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

126 132 696 348 0 318 0 0 0

N.S.

1 1.05 5.52 2.76 0.00 2.52 0.00 0.00 0.00

time (sec)

N/A 0.761 7.813 7.033 0.000 0.107 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

125 134 935 419 0 354 0 0 0

N.S.

1 1.07 7.48 3.35 0.00 2.83 0.00 0.00 0.00

time (sec)

N/A 0.808 7.782 6.658 0.000 0.109 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

155 160 716 452 0 367 0 0 0

N.S.

1 1.03 4.62 2.92 0.00 2.37 0.00 0.00 0.00

time (sec)

N/A 0.914 7.843 6.483 0.000 0.113 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

189 189 1005 711 0 427 0 0 0

N.S.

1 1.00 5.32 3.76 0.00 2.26 0.00 0.00 0.00

time (sec)

N/A 0.947 8.354 9.701 0.000 0.115 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

250 255 1097 479 0 489 0 0 0

N.S.

1 1.02 4.39 1.92 0.00 1.96 0.00 0.00 0.00

time (sec)

N/A 1.371 10.399 18.605 0.000 0.138 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

209 220 1060 465 0 478 0 0 0

N.S.

1 1.05 5.07 2.22 0.00 2.29 0.00 0.00 0.00

time (sec)

N/A 1.266 9.483 17.580 0.000 0.124 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

178 193 1035 451 0 465 0 0 0

N.S.

1 1.08 5.81 2.53 0.00 2.61 0.00 0.00 0.00

time (sec)

N/A 1.104 8.633 6.935 0.000 0.114 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

180 195 1023 451 0 463 0 0 0

N.S.

1 1.08 5.68 2.51 0.00 2.57 0.00 0.00 0.00

time (sec)

N/A 1.107 9.029 7.336 0.000 0.121 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

184 199 1029 451 0 467 0 0 0

N.S.

1 1.08 5.59 2.45 0.00 2.54 0.00 0.00 0.00

time (sec)

N/A 1.115 8.453 7.239 0.000 0.121 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-2) C F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

219 225 1065 685 0 519 0 0 0

N.S.

1 1.03 4.86 3.13 0.00 2.37 0.00 0.00 0.00

time (sec)

N/A 1.280 8.682 7.188 0.000 0.113 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) C F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

242 245 1095 876 0 542 0 0 0

N.S.

1 1.01 4.52 3.62 0.00 2.24 0.00 0.00 0.00

time (sec)

N/A 1.303 9.129 8.908 0.000 0.136 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 215 129 312 7358 145 0 0 0

N.S.

1 1.00 0.60 1.46 34.38 0.68 0.00 0.00 0.00

time (sec)

N/A 1.041 0.902 26.852 0.790 0.366 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 172 112 242 2713 128 0 0 0

N.S.

1 1.02 0.66 1.43 16.05 0.76 0.00 0.00 0.00

time (sec)

N/A 0.820 0.509 26.437 0.651 0.311 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 128 98 178 1207 114 0 0 0

N.S.

1 1.03 0.79 1.44 9.73 0.92 0.00 0.00 0.00

time (sec)

N/A 0.676 0.293 29.225 0.509 0.330 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 124 100 151 890 119 0 0 0

N.S.

1 1.06 0.85 1.29 7.61 1.02 0.00 0.00 0.00

time (sec)

N/A 0.689 0.275 32.873 0.457 0.284 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 124 90 126 339 123 0 0 0

N.S.

1 1.07 0.78 1.09 2.92 1.06 0.00 0.00 0.00

time (sec)

N/A 0.668 0.253 13.927 0.418 0.281 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 135 73 77 336 80 0 0 170

N.S.

1 1.10 0.59 0.63 2.73 0.65 0.00 0.00 1.38

time (sec)

N/A 0.686 0.298 13.387 0.352 0.286 0.000 0.000 3.806

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 177 101 99 475 97 0 136951 479

N.S.

1 1.05 0.60 0.59 2.83 0.58 0.00 815.18 2.85

time (sec)

N/A 0.854 0.440 13.634 0.362 0.283 0.000 235.465 7.394

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 220 124 121 567 115 0 0 611

N.S.

1 1.03 0.58 0.57 2.66 0.54 0.00 0.00 2.87

time (sec)

N/A 1.058 0.635 13.555 0.359 0.271 0.000 0.000 8.413

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

265 269 147 385 4470 174 0 0 0

N.S.

1 1.02 0.55 1.45 16.87 0.66 0.00 0.00 0.00

time (sec)

N/A 1.427 1.632 28.432 0.865 0.355 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 223 128 313 8041 155 0 0 0

N.S.

1 1.02 0.59 1.44 36.89 0.71 0.00 0.00 0.00

time (sec)

N/A 1.214 0.906 28.991 0.933 0.368 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 181 113 243 2746 138 0 0 0

N.S.

1 1.06 0.66 1.42 16.06 0.81 0.00 0.00 0.00

time (sec)

N/A 0.987 0.603 33.439 0.692 0.316 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 182 119 227 2078 149 0 0 0

N.S.

1 1.04 0.68 1.30 11.87 0.85 0.00 0.00 0.00

time (sec)

N/A 1.019 0.565 32.798 0.588 0.334 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 169 116 193 930 141 0 0 0

N.S.

1 1.05 0.72 1.20 5.78 0.88 0.00 0.00 0.00

time (sec)

N/A 0.998 0.566 32.486 0.471 0.305 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 169 121 209 1216 145 0 0 0

N.S.

1 1.04 0.74 1.28 7.46 0.89 0.00 0.00 0.00

time (sec)

N/A 0.993 0.753 13.332 0.459 0.281 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 187 102 100 389 100 0 147871 264

N.S.

1 1.09 0.59 0.58 2.26 0.58 0.00 859.72 1.53

time (sec)

N/A 1.020 0.545 13.090 0.361 0.284 0.000 249.369 8.382

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 231 123 122 527 119 0 0 293

N.S.

1 1.05 0.56 0.56 2.41 0.54 0.00 0.00 1.34

time (sec)

N/A 1.191 0.688 13.144 0.360 0.277 0.000 0.000 8.991

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 274 146 144 620 138 0 0 356

N.S.

1 1.03 0.55 0.54 2.33 0.52 0.00 0.00 1.34

time (sec)

N/A 1.481 0.764 13.047 0.386 0.278 0.000 0.000 8.178

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

312 315 170 459 42699 208 0 0 0

N.S.

1 1.01 0.54 1.47 136.86 0.67 0.00 0.00 0.00

time (sec)

N/A 1.868 3.835 24.497 2.940 0.370 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

265 278 148 387 4556 188 0 0 0

N.S.

1 1.05 0.56 1.46 17.19 0.71 0.00 0.00 0.00

time (sec)

N/A 1.525 1.665 27.186 0.846 0.375 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 233 131 315 8557 168 0 0 0

N.S.

1 1.07 0.60 1.44 39.25 0.77 0.00 0.00 0.00

time (sec)

N/A 1.371 1.018 31.791 0.869 0.379 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 235 142 299 2938 179 0 0 0

N.S.

1 1.06 0.64 1.35 13.23 0.81 0.00 0.00 0.00

time (sec)

N/A 1.384 0.936 28.809 0.675 0.334 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 227 141 269 2503 177 0 0 0

N.S.

1 1.04 0.65 1.23 11.48 0.81 0.00 0.00 0.00

time (sec)

N/A 1.349 0.825 31.364 0.617 0.317 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 221 141 229 1126 171 0 0 0

N.S.

1 1.05 0.67 1.09 5.36 0.81 0.00 0.00 0.00

time (sec)

N/A 1.318 1.002 30.214 0.480 0.303 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 221 151 246 1640 176 0 0 0

N.S.

1 1.05 0.72 1.17 7.81 0.84 0.00 0.00 0.00

time (sec)

N/A 1.296 1.431 13.403 0.488 0.312 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 235 127 124 441 129 0 0 685

N.S.

1 1.07 0.58 0.57 2.01 0.59 0.00 0.00 3.13

time (sec)

N/A 1.380 0.840 13.755 0.355 0.305 0.000 0.000 10.298

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 279 149 146 579 148 0 0 773

N.S.

1 1.05 0.56 0.55 2.18 0.56 0.00 0.00 2.91

time (sec)

N/A 1.607 0.940 12.237 0.359 0.285 0.000 0.000 8.639

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 326 171 168 671 170 0 0 911

N.S.

1 1.04 0.55 0.54 2.14 0.54 0.00 0.00 2.91

time (sec)

N/A 1.828 0.823 11.114 0.374 0.284 0.000 0.000 8.851

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 251 254 289 0 192 0 0 0

N.S.

1 1.11 1.12 1.28 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 1.517 0.800 24.484 0.000 2.248 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 196 196 225 0 178 0 0 0

N.S.

1 1.07 1.07 1.23 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 1.105 0.513 24.466 0.000 2.334 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 142 104 158 0 153 0 0 0

N.S.

1 1.07 0.78 1.19 0.00 1.15 0.00 0.00 0.00

time (sec)

N/A 0.803 0.277 30.944 0.000 1.030 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]